13 Cake Cutting Algorithms

Imagine a cake that must be divided between a group of gluttonous children. To complicate matters, the cake is heterogeneous: two pieces of cake may differ in terms of their toppings, so the children have different preferences over the pieces (one may weakly prefer a larger proportion of chocolate curls, while another may single-mindedly desire the piece with the cherry). In this chapter we discuss the surprisingly intricate problem of fairly dividing the cake — which serves as a metaphor for heterogeneous divisible resources such as land or time. The cake cutting problem has a long and storied history described, e.g., in the books by Brams and Taylor [1996] and Robertson and Webb [1998]. The early research on the problem has two main themes: existence results showing that certain fairness guarantees can be achieved; and algorithmic results showing how such guarantees can be achieved. The focus of this chapter is on the latter theme, which has a more computational flavor. From a computer scientist’s point of view, the cake cutting problem provides a sandbox in which we can explore the role of computational thinking in the allocation of divisible goods. Indeed, the elegant cake cutting model (Section 13.2) distills many of the issues we care about when studying divisible goods more broadly; for example, how to reason about computational complexity in the face of continuous inputs, and how to quantify the tradeoffs between individual fairness and global welfare.